Known vulnerabilities in Canonical Ltd. coq-hammer (Ubuntu package) 1.3.2+8.15-1

1.3.2+8.20-1build4 1.3.2+8.20-1build3 1.3.2+8.20-1build2 1.3.2+8.20-1build1 1.3.2+8.20-1 1.3.2+8.19-2build3 1.3.2+8.19-2build2 1.3.2+8.19-2build1 1.3.2+8.19-2 1.3.2+8.19-1build2 1.3.2+8.19-1build1 1.3.2+8.19-1 1.3.2+8.18-1build3 1.3.2+8.18-1build2 1.3.2+8.18-1build1 1.3.2+8.18-1 1.3.2+8.17-1build3 1.3.2+8.17-1build2 1.3.2+8.17-1build1 1.3.2+8.17-1 1.3.2+8.16-2build2 1.3.2+8.16-2build1 1.3.2+8.16-2 1.3.2+8.16-1build3 1.3.2+8.16-1build2 1.3.2+8.16-1build1 1.3.2+8.16-1 1.3.2+8.15-1